Ejlers Møgelberg, Rasmus: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Relational Parametricity for Control Considered as a Computational Effect

Rasmus Ejlers Møgelberg, Alex Simpson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 372 KB

english, 2007

2

Synthetic domain theory and models of linear Abadi & Plotkin logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 604 KB

english, 2008

3

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 476 KB

english, 2006

4

A Nominal Relational Model for Local Store

Rasmus Ejlers Møgelberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 285 KB

english, 2010

5

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Relational Parametricity for Computational Effects

Mogelberg, Rasmus Ejlers, Simpson, Alex

Year:

2007

Language:

english

File:

PDF, 232 KB

english, 2007

6

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees

Birkedal, Lars, Mogelberg, Rasmus Ejlers, Schwinghammer, Jan, Stovring, Kristian

Year:

2011

Language:

english

File:

PDF, 315 KB

english, 2011

7

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes

Birkedal, Lars, Mogelberg, Rasmus Ejlers

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

8

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - A type theory for productive coprogramming via guarded recursion

Møgelberg, Rasmus Ejlers

Year:

2014

Language:

english

File:

PDF, 341 KB

english, 2014

9

A Model of PCF in Guarded Type Theory

Paviotti, Marco, Møgelberg, Rasmus Ejlers, Birkedal, Lars

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

10

A Model of Guarded Recursion With Clock Synchronisation

Bizjak, Aleš, Møgelberg, Rasmus Ejlers

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 310 KB

english, 2015

11

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Denotational semantics of recursive types in synthetic guarded domain theory

Møgelberg, Rasmus Ejlers, Paviotti, Marco

Year:

2016

Language:

english

File:

PDF, 305 KB

english, 2016

12

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The clocks are ticking: No more delays!

Bahr, Patrick, Grathwohl, Hans Bugge, Mogelberg, Rasmus Ejlers

Year:

2017

Language:

english

File:

PDF, 359 KB

english, 2017

13

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks

Bahr, Patrick, Graulund, Christian Uldal, Møgelberg, Rasmus Ejlers

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 430 KB

english, 2019

14

Modal dependent type theory and dependent right adjoints

Birkedal, Lars, Clouston, Ranald, Mannaa, Bassel, Ejlers Møgelberg, Rasmus, Pitts, Andrew M., Spitters, Bas

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 388 KB

english, 2019

15

Modal dependent type theory and dependent right adjoints

Birkedal, Lars, Clouston, Ranald, Mannaa, Bassel, Ejlers Møgelberg, Rasmus, Pitts, Andrew M., Spitters, Bas

Journal:

Mathematical Structures in Computer Science

Year:

2019

File:

PDF, 388 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски